There Is More Consensus in Egalitarian Parliaments Iulian Moraru, David G. Andersen, Michael Kaminsky Carnegie Mellon University and Intel Labs Abstract This paper describes the design and implementation of

Source URL: css.csail.mit.edu

Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr

Source URL: www.cs.berkeley.edu

Slow Technology: Critical Reflection and Future Directions William Odom1, Richard Banks2, Abigail Durrant3, David Kirk3, James Pierce1 Carnegie Mellon University1 Microsoft Research Cambridge2 Newcastle University3 Human

Source URL: willodom.com

David G. Andersen Computer Science Department Carnegie Mellon University 5000 Forbes Ave Pittsburgh, PA 15213

Source URL: www.angio.net

An Introduction to Physically Based Modeling: Rigid Body Simulation II—Nonpenetration Constraints David Baraff Robotics Institute Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Archimedean solids
• Quasiregular polyhedra
• Computational physics
• Platonic solids
• Polytopes
• Collision detection
• Polyhedron
• Truncated cube
• Cube
• Geometry
• Convex geometry
• Euclidean geometry

American Mineralogist, Volume 94, pages 641–642, 2009 Presentation of the Mineralogical Society of America Award for 2008 to James Badro Ho-kwang “David” Mao Geophysical Laboratory, Carnegie Institution of Washing

Source URL: www.minsocam.org

• Petrology
• Mineral
• Mineralogy
• Electron
• Geophysics
• Ferropericlase
• Physics
• Condensed matter physics
• Geology

David Keith and Alex Farrell Carnegie Mellon THE PROBLEM The threats of air pollution from transportation have long been clear, and scientists no longer doubt that if current trends continue, anthropogenic emissions of c

Source URL: keith.seas.harvard.edu

Enforcing Resource Bounds via Static Verification of Dynamic Checks AJAY CHANDER, DAVID ESPINOSA, and NAYEEM ISLAM DoCoMo Labs USA PETER LEE Carnegie Mellon University

Source URL: www.cs.berkeley.edu

Taxes and the Global Allocation of Capital David Backus, Espen Henriksen, and Kjetil Storesletten Carnegie-Rochester | April 20, 2007

Source URL: pages.stern.nyu.edu

Submission to HPTSA Storage Model to Bridge the Processor/Memory Speed Gap Anastassia Ailamaki Carnegie Mellon University (joint work with David DeWitt and Mark Hill

Source URL: hpts.ws